@article(
FisherMitchTapos,author="Fisher, K. and Mitchell, J.C.",
        Title="The development of type systems for object-oriented languages",
	Journal="Theory and Practice of Object Systems",
	Year="1996",volume="1",pages="189-220",
        Note="Preliminary version appeared in
        {\it Proc. Theoretical Aspects of Computer Software,} 
        Springer LNCS 789, 1994, 844--885")


        @inproceedings(
FisherMitchTacs,author="Fisher, K. and Mitchell, J.C.",
        Title="Notes on typed object-oriented programming",
        Booktitle="Proc. Theoretical Aspects of Computer Software",
	Publisher="Springer LNCS 789",
        Year="1994",
        pages="844--885")